Mathematical software - PDFSEARCH.IO - Document Search Engine

Mathematical software
Results: 3985

#	Item
411	Combining pedestrian simulation with a network flow optimization to support security staff in handling an evacuation of a soccer stadium Angelika Kneidl1, Markus Thiemann2, Dirk Hartmann3, André Borrmann1 1 Add to Reading List Source URL: www.cms.bgu.tum.de Language: English - Date: 2014-12-18 07:59:05 Science Simulation Computer simulation Mathematical optimization Flow network Program optimization Evacuation process simulation AnyLogic Operations research Applied mathematics Software
412	Statistisches Amt Kanton Zürich logo_2zeilen Add to Reading List Source URL: www.spss.ch Language: English - Date: 2012-10-20 08:47:05 SPSS Business intelligence Zurich ADAPA R IBM Statistics Computing Mathematical software
413	Press release th Paris, 28 May 2015 Keensight Capital invests in smartTrade Technologies, the European leader in trading software Add to Reading List Source URL: www.keensightcapital.com Language: English - Date: 2015-05-28 05:32:47 Investment Mathematical finance Financial risk Trading room Algorithmic trading Financial markets Financial economics Finance
414	Getting your practice online with Sage Get your practice Add to Reading List Source URL: sageone-uk-wordpress.s3.amazonaws.com Language: English - Date: 2014-05-30 06:28:04 Pleasanton California Sage Group Sage Cloud computing The Sage Gateshead Sage MicrOpay Software Tyne and Wear Mathematical software
415	Matthew G. Knepley Computation Institute University of Chicago 5735 S Ellis Ave Chicago, IL 60637, USA Add to Reading List Source URL: people.cs.uchicago.edu Language: English - Date: 2015-02-17 15:25:47 Software Portable Extensible Toolkit for Scientific Computation Computational science FEniCS Project GPGPU J. Tinsley Oden Society for Industrial and Applied Mathematics Citcom Mathematical optimization Application software Science Numerical linear algebra
416	1 A Mathematical Framework for Analyzing Adaptive Incentive Protocols in P2P Networks Bridge Qiao Zhao, John C.S. Lui, Fellow, ACM/IEEE, Dah-Ming Chiu, Fellow, IEEE Add to Reading List Source URL: www.cs.cuhk.hk Language: English - Date: 2011-07-14 20:48:38 Software System software Artificial neuron Scalability File sharing Incentive ANts P2P Computing Peer-to-peer Neural networks
417	Computer-Aided Security Proofs for the Working Cryptographer⋆ Gilles Barthe1 , Benjamin Gr´egoire2, Sylvain Heraud2 , and Santiago Zanella B´eguelin1 1 2 Add to Reading List Source URL: software.imdea.org Language: English - Date: 2013-03-13 12:33:24 Mathematics Functions and mappings Function First-order logic Interpretation Mathematical logic Model theory Logic
418	SHAWNEE COUNTY, KANSAS Position Description Communications Specialist I POSITION CONTROL NUMBER: Various Add to Reading List Source URL: www.snco.us Language: English - Date: 2014-11-17 15:59:15 Logarithms Continuous function X Window System Software Mathematics Mathematical analysis
419	Deciding Functional Lists with Sublist Sets Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2011-11-18 09:02:21 Higher-order functions Model theory Graph theory Mathematical induction Structural induction Fold Map List Interpretation Software engineering Mathematics Computing
420	RESEARCH STATEMENT JED BROWN Never has there been more intense demand for algorithmically optimal algorithms and software for extreme scale multiphysics simulation. This greater emphasis on algorithmic optimality is a co Add to Reading List Source URL: 59a2.org Language: English - Date: 2012-12-18 17:11:18 Numerical linear algebra Partial differential equations Numerical software Multigrid method Wavelets Portable Extensible Toolkit for Scientific Computation Relaxation Mathematical optimization Solver Numerical analysis Mathematics Mathematical analysis

UPDATE